Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky Institute for Advanced Study 50:13 9 years ago 15 294 Скачать Далее
Univalent Foundations of Mathematics - Vladimir Voevodsky Institute for Advanced Study 1:07:33 7 years ago 9 589 Скачать Далее
Multiple Concepts of Equality in the New Foundations of Mathematics by Vladimir Voevodsky FOMUS 2016 1:33:26 7 years ago 6 670 Скачать Далее
Overview of Univalent Foundations - Vladimir Voevodsky Institute for Advanced Study 57:55 7 years ago 4 573 Скачать Далее
5 - Kick-off afternoon : Vladimir Voevodsky, Univalent Foundations Institut Henri Poincaré 54:16 Streamed 10 years ago 3 512 Скачать Далее
Univalent foundations and the equivalence principle - Benedikt Ahrens Institute for Advanced Study 1:01:13 5 years ago 1 952 Скачать Далее
Foundations of Mathematics and Homotopy Theory - Vladimir Voevodsky Institute for Advanced Study 1:05:09 8 years ago 3 278 Скачать Далее
Vladimir Voevodsky: Multiple Concepts of Equality in the New Foundations of Mathematics Zentrum für interdisziplinäre Forschung 1:33:26 7 years ago 2 024 Скачать Далее
What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky Institute for Advanced Study 58:30 12 years ago 50 183 Скачать Далее
Vladimir Voevodsky: Revolutionizing Mathematics | Scientist Biography VIS SCIENCE 3:53 9 months ago 78 Скачать Далее
Homotopy Type Theory: Vladimir Voevodsky - Computerphile Computerphile 5:53 6 years ago 60 276 Скачать Далее